[IA64] ia64 counter part of 19376:9fc957e63f8d.

This patch is the ia64 counter part of 19376:9fc957e63f8d.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/include/asm-ia64/mm.h b/xen/include/asm-ia64/mm.h
index b7b2d392174d24e59f5ea14ceb5656538b2e1ee3..bb3dc8ae5b733f951db38870c4e1ce328b248760 100644 (file)
--- a/xen/include/asm-ia64/mm.h
+++ b/xen/include/asm-ia64/mm.h
@@ -212,6 +212,7 @@ static inline void put_page(struct page_info *page)
     unsigned long nx, x, y = page->count_info;
 
     do {
+        ASSERT((y & PGC_count_mask) != 0);
         x = y;
         nx = x - 1;
     }